Assert $f$ $\in$ ($x$,$y$:$T$//$E$($x$,$y$))$\rightarrow$($x$,$y$:$T$//$E$($x$,$y$))$\rightarrow\mathbb{B}$